- equivalent up to complementation
- Математика: эквивалентный относительно дополнительности (о графе)
Универсальный англо-русский словарь. Академик.ру. 2011.
equivalent up to complementation
Смотреть что такое "equivalent up to complementation" в других словарях:
Complementation of Büchi automaton — In automata theory, complementation of a Büchi automaton is construction of another Büchi automaton that recognizes complement of the ω regular language recognized by the given Büchi automaton. Existence of algorithms for this construction proves … Wikipedia
Diagrammatic reasoning — is reasoning by means of visual representations. The study of diagrammatic reasoning is about the understanding of concepts and ideas, visualized with the use of diagrams and imagery instead of by linguistic or algebraic means. Contents 1 Related … Wikipedia
Entitative graph — An entitative graph is an element of the graphical syntax for logic that Charles Sanders Peirce developed under the name of qualitative logic beginning in the 1880 s, taking the coverage of the formalism only as far as the propositional or… … Wikipedia
Complement (music) — Traditional interval complementation: P4 + P5 = P8 In music the term complement refers to two distinct concepts. In traditional music theory a complement is the interval which, when added to the original interval, spans an octave in total. For… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
McNaughton's Theorem — In automata theory, McNaughton s theorem refers to a theorem that asserts that the set of ω regular languages is identical to the set of languages recognizable by deterministic Muller automata. [1] This theorem is proven by supplying an algorithm … Wikipedia
American and British English differences — For the Wikipedia editing policy on use of regional variants in Wikipedia, see Wikipedia:Manual of style#National varieties of English. This is one of a series of articles about the differences between British English and American English, which … Wikipedia
Algebra of sets — The algebra of sets develops and describes the basic properties and laws of sets, the set theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures … Wikipedia
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
